University of New South Wales

Results: 4513



#Item
21Don’t Substitute Into Abstractions (Functional Pearl) Ben Lippmeier Vertigo Technology and University of New South Wales

Don’t Substitute Into Abstractions (Functional Pearl) Ben Lippmeier Vertigo Technology and University of New South Wales

Add to Reading List

Source URL: benl.ouroborus.net

- Date: 2016-03-28 01:27:07
    22Annual ReportCITY FUTURES RESEARCH CENTRE Faculty of the Built Environment, University of New South Wales ISSN

    Annual ReportCITY FUTURES RESEARCH CENTRE Faculty of the Built Environment, University of New South Wales ISSN

    Add to Reading List

    Source URL: cityfutures.be.unsw.edu.au

    - Date: 2016-05-24 02:58:25
      23Robocup Standard Platform League - rUNSWift 2012 Innovations Sean Harris, Peter Anderson, Belinda Teh, Youssef Hunter, Roger Liu, Bernhard Hengst Ritwik Roy, Sam Li, Carl Chatfield University of New South Wales, Australi

      Robocup Standard Platform League - rUNSWift 2012 Innovations Sean Harris, Peter Anderson, Belinda Teh, Youssef Hunter, Roger Liu, Bernhard Hengst Ritwik Roy, Sam Li, Carl Chatfield University of New South Wales, Australi

      Add to Reading List

      Source URL: www.panderson.me

      - Date: 2018-03-17 00:20:17
        24Capabilities and Coeffects Ben Lippmeier University of New South Wales SAPLING Destructive Initialization

        Capabilities and Coeffects Ben Lippmeier University of New South Wales SAPLING Destructive Initialization

        Add to Reading List

        Source URL: benl.ouroborus.net

        - Date: 2016-03-17 21:17:32
          25Annual ReportCITY FUTURES RESEARCH CENTRE Faculty of the Built Environment, University of New South Wales ISSN

          Annual ReportCITY FUTURES RESEARCH CENTRE Faculty of the Built Environment, University of New South Wales ISSN

          Add to Reading List

          Source URL: cityfutures.be.unsw.edu.au

          - Date: 2016-05-24 02:58:31
            26Flattening Nested Database Queries Ben Lippmeier University of New South Wales FP-SYD

            Flattening Nested Database Queries Ben Lippmeier University of New South Wales FP-SYD

            Add to Reading List

            Source URL: benl.ouroborus.net

            - Date: 2016-03-17 21:17:32
              27Type-Based Aliasing Control for DDC Tran Ma University of New South Wales FP-SYD Disciple and DDC

              Type-Based Aliasing Control for DDC Tran Ma University of New South Wales FP-SYD Disciple and DDC

              Add to Reading List

              Source URL: code.ouroborus.net

              - Date: 2012-11-15 01:10:01
                28Are Virtual-Machine Monitors Microkernels Done Right? Gernot Heiser National ICT Australia∗ and University of New South Wales Sydney, Australia Volkmar Uhlig

                Are Virtual-Machine Monitors Microkernels Done Right? Gernot Heiser National ICT Australia∗ and University of New South Wales Sydney, Australia Volkmar Uhlig

                Add to Reading List

                Source URL: cgi.di.uoa.gr

                - Date: 2010-10-21 06:12:58
                  29Automatic Verification of Message-Based Device Drivers Sidney Amani‡§ Peter Chubb‡§ Alastair F. Donaldson¶ Alexander Legg‡ Leonid Ryzhyk‡§ Yanjin Zhu‡§ ‡NICTA §University of New South Wales ¶ Imperial

                  Automatic Verification of Message-Based Device Drivers Sidney Amani‡§ Peter Chubb‡§ Alastair F. Donaldson¶ Alexander Legg‡ Leonid Ryzhyk‡§ Yanjin Zhu‡§ ‡NICTA §University of New South Wales ¶ Imperial

                  Add to Reading List

                  Source URL: www.doc.ic.ac.uk

                  - Date: 2013-01-20 10:47:24
                    30Automatic Verification of Active Device Drivers Sidney Amani‡§ Peter Chubb‡§ Alastair F. Donaldson¶ Alexander Legg‡§ Keng Chai Ong‡ Leonid Ryzhyk‡§ Yanjin Zhu‡§ ‡NICTA §University of New South Wales

                    Automatic Verification of Active Device Drivers Sidney Amani‡§ Peter Chubb‡§ Alastair F. Donaldson¶ Alexander Legg‡§ Keng Chai Ong‡ Leonid Ryzhyk‡§ Yanjin Zhu‡§ ‡NICTA §University of New South Wales

                    Add to Reading List

                    Source URL: www.doc.ic.ac.uk

                    - Date: 2016-05-05 16:39:22